Format libre

La Fusion Libre : Le Cas Simple

En variant la méthode d’amalgamation de Fräıssé, Hrushovski a réussi dans [Hr92] à fusionner deux théories fortement minimales (ayant des langages sont disjoints) en une seule. En 1988, il avait déjà emprunté la même méthode d’amalgamation pour construire une théorie fortement minimale non-localement modulaire qui n’interprète pas de groupe infini. Cette théorie est un contre-exemple extrême à ...

Libre Software in Spanish Public Administrations

Libre software started to be used in Public Administrations in Spain during the 1990s, in some isolated but interesting experiences. During the early 2000s, and specially in some regional governments, libre software started to be considered as an integral part of IT-related policies. In 2007, it was evident that many experiences related to libre software were running in Public Administrations w...

Contributor Turnover in Libre Software Projects

Performance of LibRe protocol inside Cassandra workflow

Libre∗ software role in edutainment robotics market

Some of the most successful products in the market of robots for edutainment have made manufacturers realize that software for controlling the robots is one of the key elements of the success. Some of them have also conclude that libre software is the best way to produce, maintain, and distribute their software. This paper will summarize the fundamentals of the libre software model, and their b...